perm filename BIGDEL.MF[CM,DEK]1 blob
sn#798084 filedate 1985-07-06 generic text, type C, neo UTF8
COMMENT ā VALID 00021 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002 % This file contains series of large delimiters for math extension fonts.
C00009 00003 cmchar "\big left parenthesis"
C00018 00004 cmchar "\big right parenthesis"
C00022 00005 cmchar "\big left bracket"
C00025 00006 cmchar "\big right bracket"
C00028 00007 cmchar "\big left floor bracket"
C00030 00008 cmchar "\big right floor bracket"
C00032 00009 cmchar "\big left ceiling bracket"
C00034 00010 cmchar "\big right ceiling bracket"
C00036 00011 cmchar "\big left curly brace"
C00041 00012 cmchar "\big right curly brace"
C00046 00013 cmchar "Horizontal curly brace tip---down and left"
C00050 00014 cmchar "\big left angle bracket"
C00052 00015 cmchar "\big right angle bracket"
C00054 00016 cmchar "\big slash"
C00056 00017 cmchar "\big backslash"
C00057 00018 cmchar "Extensible vertical line---extension module"
C00058 00019 cmchar "Extensible vertical arrow--top"
C00062 00020 cmchar "Extensible double vertical arrow--top"
C00070 00021 cmchar "\big radical sign"
C00075 ENDMK
Cā;
% This file contains series of large delimiters for math extension fonts.
% The sizes are `{\tt\char`\\big}' (|2dh#|), `{\tt\char`\\Big}' (|3dh#|),
% `{\tt\char`\\bigg}' (|4dh#|), and `{\tt\char`\\Bigg}' (|5dh#|),
% followed in most cases by an extensible character that can grow
% arbitrarily large in |dh#| steps,
% where |dh#| is 60\% of the font design size.
% (For example, a 10-point font will have large delimiters in sizes
% 12$\,$pt, 18$\,$pt, 24$\,$pt, 30$\,$pt, 36$\,$pt, etc.)
% Character codes \0000--\0105 and \0150--\0177 are generated.
charlist oct"000", oct"020", oct"022", oct"040", oct"060"; % left parentheses
charlist oct"001", oct"021", oct"023", oct"041", oct"061"; % right parentheses
charlist oct"002", oct"150", oct"024", oct"042", oct"062"; % left brackets
charlist oct"003", oct"151", oct"025", oct"043", oct"063"; % right brackets
charlist oct"004", oct"152", oct"026", oct"044", oct"064"; % left floors
charlist oct"005", oct"153", oct"027", oct"045", oct"065"; % right floors
charlist oct"006", oct"154", oct"030", oct"046", oct"066"; % left ceilings
charlist oct"007", oct"155", oct"031", oct"047", oct"067"; % right ceilings
charlist oct"010", oct"156", oct"032", oct"050", oct"070"; % left braces
charlist oct"011", oct"157", oct"033", oct"051", oct"071"; % right braces
charlist oct"012", oct"104", oct"034", oct"052"; % left angle brackets
charlist oct"013", oct"105", oct"035", oct"053"; % right angle brackets
charlist oct"016", oct"056", oct"036", oct"054"; % slashes
charlist oct"017", oct"057", oct"037", oct"055"; % backslashes
charlist oct"160", oct"161", oct"162", oct"163", oct"164"; % radical signs
extensible oct"014": 0,0,0,oct"014"; % vertical line
extensible oct"015": 0,0,0,oct"015"; % double vertical line
extensible oct"060": oct"060",0,oct"100",oct"102"; % left parenthesis
extensible oct"061": oct"061",0,oct"101",oct"103"; % right parenthesis
extensible oct"062": oct"062",0,oct"064",oct"066"; % left bracket
extensible oct"063": oct"063",0,oct"065",oct"067"; % right bracket
extensible oct"064": 0,0,oct"064",oct"066"; % left floor bracket
extensible oct"065": 0,0,oct"065",oct"067"; % right floor bracket
extensible oct"066": oct"062",0,0,oct"066"; % left ceiling bracket
extensible oct"067": oct"063",0,0,oct"067"; % right ceiling bracket
extensible oct"070": oct"070",oct"074",oct"072",oct"076"; % left brace
extensible oct"071": oct"071",oct"075",oct"073",oct"076"; % right brace
extensible oct"072": oct"070",0,oct"072",oct"076"; % sharp left parenthesis
extensible oct"073": oct"071",0,oct"073",oct"076"; % sharp right parenthesis
extensible oct"074": 0,0,0,oct"077"; % arrow extension modules only
extensible oct"075": 0,0,0,oct"167"; % double arrow extension modules only
extensible oct"076": 0,0,0,oct"076"; % brace extension modules only
extensible oct"077": oct"170",0,oct"171",oct"077"; % updownarrow
extensible oct"100": oct"070",0,oct"073",oct"076"; % left moustache
extensible oct"101": oct"071",0,oct"072",oct"076"; % right moustache
extensible oct"102": 0,0,0,oct"102"; % left parenthesis extension modules only
extensible oct"103": 0,0,0,oct"103"; % right parenthesis extension modules only
extensible oct"164": oct"166",0,oct"164",oct"165"; % radical sign
extensible oct"167": oct"176",0,oct"177",oct"167"; % double updownarrow
extensible oct"170": oct"170",0,0,oct"077"; % uparrow
extensible oct"171": 0,0,oct"171",oct"077"; % downarrow
extensible oct"176": oct"176",0,0,oct"167"; % double uparrow
extensible oct"177": 0,0,oct"177",oct"167"; % double downarrow
cmchar "\big left parenthesis";
beginchar(oct"000",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(1.5u#,-.25u#); left_paren(hair,stem); endchar;
cmchar "\Big left parenthesis";
beginchar(oct"020",9u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(2u#,-.25u#); left_paren(rule_thickness,.5[stem,bold]); endchar;
cmchar "\bigg left parenthesis";
beginchar(oct"022",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(2.5u#,-.25u#); left_paren(rule_thickness+.2dw,bold); endchar;
cmchar "\Bigg left parenthesis";
beginchar(oct"040",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(3u#,-.25u#); left_paren(rule_thickness+.4dw,bold+dw); endchar;
cmchar "Extensible left parenthesis---top";
beginchar(oct"060",12u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(4u#,-.25u#); pickup fine.nib;
numeric min_breadth,max_breadth;
min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
pos1(round min_breadth,0); pos2(round max_breadth,0);
rt x1r=round(w-1.25u+.5min_breadth); lft x2l=round 1.25u;
top y1=h-1; y2=-d-eps;
filldraw stroke z1e{3(x2e-x1e),y2-y1}...{down}z2e; % upper arc
penlabels(1,2); endchar;
cmchar "Extensible left parenthesis---bottom";
beginchar(oct"100",12u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(4u#,-.25u#); pickup fine.nib;
numeric min_breadth,max_breadth;
min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
pos3(round min_breadth,0); pos2(round max_breadth,0);
rt x3r=round(w-1.25u+.5min_breadth); lft x2l=round 1.25u;
bot y3=1-d; y2=h+eps;
filldraw stroke z3e{3(x2e-x3e),y2-y3}...{up}z2e; % lower arc
penlabels(2,3); endchar;
cmchar "Extensible left parenthesis---extension module";
beginchar(oct"102",12u#,0,dh#);
adjust_fit(4u#,-.25u#); pickup fine.nib;
numeric max_breadth; max_breadth=bold+2dw;
pos2(round max_breadth,0); pos2'(round max_breadth,0);
lft x2l=lft x2'l=round 1.25u; y2=h+eps; y2'=-d-eps;
filldraw stroke z2e--z2'e; % link
penlabels(2,2'); endchar;
cmchar "\big right parenthesis";
beginchar(oct"001",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(-.25u#,1.5u#); right_paren(hair,stem); endchar;
cmchar "\Big right parenthesis";
beginchar(oct"021",9u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(-.25u#,2u#); right_paren(rule_thickness,.5[stem,bold]); endchar;
cmchar "\bigg right parenthesis";
beginchar(oct"023",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(-.25u#,2.5u#); right_paren(rule_thickness+.2dw,bold); endchar;
cmchar "\Bigg right parenthesis";
beginchar(oct"041",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(-.25u#,3u#); right_paren(rule_thickness+.4dw,bold+dw); endchar;
cmchar "Extensible right parenthesis---top";
beginchar(oct"061",12u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(-.25u#,4u#); pickup fine.nib;
numeric min_breadth,max_breadth;
min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
pos1(round min_breadth,0); pos2(round max_breadth,0);
lft x1l=round(1.25u-.5min_breadth); rt x2r=round(w-1.25u);
top y1=h-1; y2=-d-eps;
filldraw stroke z1e{3(x2e-x1e),y2-y1}...{down}z2e; % upper arc
penlabels(1,2); endchar;
cmchar "Extensible right parenthesis---bottom";
beginchar(oct"101",12u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(-.25u#,4u#); pickup fine.nib;
numeric min_breadth,max_breadth;
min_breadth=rule_thickness+.6dw; max_breadth=bold+2dw;
pos3(round min_breadth,0); pos2(round max_breadth,0);
lft x3l=round(1.25u-.5min_breadth); rt x2r=round(w-1.25u);
bot y3=1-d; y2=h+eps;
filldraw stroke z3e{3(x2e-x3e),y2-y3}...{up}z2e; % lower arc
penlabels(2,3); endchar;
cmchar "Extensible right parenthesis---extension module";
beginchar(oct"103",12u#,0,dh#);
adjust_fit(-.25u#,4u#); pickup fine.nib;
numeric max_breadth; max_breadth=bold+2dw;
pos2(round max_breadth,0); pos2'(round max_breadth,0);
rt x2r=rt x2'r=round(w-1.25u); y2=h+eps; y2'=-d-eps;
filldraw stroke z2e--z2'e; % link
penlabels(2,2'); endchar;
cmchar "\big left bracket";
beginchar(oct"002",6u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(1.5u#,0); left_bracket(rule_thickness,true,true); endchar;
cmchar "\Big left bracket";
beginchar(oct"150",6.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],true,true); endchar;
cmchar "\bigg left bracket";
beginchar(oct"024",7u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],true,true); endchar;
cmchar "\Bigg left bracket";
beginchar(oct"042",7.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],true,true); endchar;
cmchar "Extensible left bracket---top";
beginchar(oct"062",8u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(4u#,0); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
top y1=h-1; y2=-d-eps; lft x1l=lft x2l=round(2.5u-.5stem);
filldraw stroke z1e--z2e; % stem
pos3(stem,90); pos4(stem,90);
x3=x1l; rt x4=round(w-.75u+.5stem); y3r=y4r=y1;
filldraw stroke z3e--z4e; % upper bar
penlabels(1,2,3,4); endchar;
cmchar "Extensible left bracket---bottom";
beginchar(oct"064",8u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(4u#,0); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
y1=h+eps; bot y2=1-d; lft x1l=lft x2l=round(2.5u-.5stem);
filldraw stroke z1e--z2e; % stem
pos5(stem,90); pos6(stem,90);
x5=x1l; rt x6=round(w-.75u+.5stem); y5l=y6l=y2;
filldraw stroke z5e--z6e; % lower bar
penlabels(1,2,5,6); endchar;
cmchar "Extensible left bracket---extension module";
beginchar(oct"066",8u#,0,dh#);
adjust_fit(4u#,0); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
y1=h+1+eps; bot y2=-d-1-eps; lft x1l=lft x2l=round(2.5u-.5stem);
filldraw stroke z1e--z2e; % stem
penlabels(1,2); endchar;
cmchar "\big right bracket";
beginchar(oct"003",6u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(0,1.5u#); right_bracket(rule_thickness,true,true); endchar;
cmchar "\Big right bracket";
beginchar(oct"151",6.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],true,true); endchar;
cmchar "\bigg right bracket";
beginchar(oct"025",7u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],true,true); endchar;
cmchar "\Bigg right bracket";
beginchar(oct"043",7.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],true,true); endchar;
cmchar "Extensible right bracket---top";
beginchar(oct"063",8u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(0,4u#); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
top y1=h-1; y2=-d-eps; rt x1r=rt x2r=round(w-2.5u+.5stem);
filldraw stroke z1e--z2e; % stem
pos3(stem,90); pos4(stem,90);
x3=x1r; lft x4=round(.75u-.5stem); y3r=y4r=y1;
filldraw stroke z3e--z4e; % upper bar
penlabels(1,2,3,4); endchar;
cmchar "Extensible right bracket---bottom";
beginchar(oct"065",8u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(0,4u#); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
y1=h+eps; bot y2=1-d; rt x1r=rt x2r=round(w-2.5u+.5stem);
filldraw stroke z1e--z2e; % stem
pos5(stem,90); pos6(stem,90);
x5=x1r; lft x6=round(.75u-.5stem); y5l=y6l=y2;
filldraw stroke z5e--z6e; % lower bar
penlabels(1,2,5,6); endchar;
cmchar "Extensible right bracket---extension module";
beginchar(oct"067",8u#,0,dh#);
adjust_fit(0,4u#); pickup crisp.nib; less_rounded;
pos1(stem,0); pos2(stem,0);
y1=h+1+eps; bot y2=-d-1-eps; rt x1r=rt x2r=round(w-2.5u+.5stem);
filldraw stroke z1e--z2e; % stem
penlabels(1,2); endchar;
cmchar "\big left floor bracket";
beginchar(oct"004",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(1.5u#,0); left_bracket(rule_thickness,false,true); endchar;
cmchar "\Big left floor bracket";
beginchar(oct"152",7.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],false,true); endchar;
cmchar "\bigg left floor bracket";
beginchar(oct"026",8u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],false,true); endchar;
cmchar "\Bigg left floor bracket";
beginchar(oct"044",8.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],false,true); endchar;
cmchar "\big right floor bracket";
beginchar(oct"005",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(0,1.5u#); right_bracket(rule_thickness,false,true); endchar;
cmchar "\Big right floor bracket";
beginchar(oct"153",7.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],false,true); endchar;
cmchar "\bigg right floor bracket";
beginchar(oct"027",8u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],false,true); endchar;
cmchar "\Bigg right floor bracket";
beginchar(oct"045",8.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],false,true); endchar;
cmchar "\big left ceiling bracket";
beginchar(oct"006",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(1.5u#,0); left_bracket(rule_thickness,true,false); endchar;
cmchar "\Big left ceiling bracket";
beginchar(oct"154",7.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(2u#,0); left_bracket(.25[rule_thickness,stem],true,false); endchar;
cmchar "\bigg left ceiling bracket";
beginchar(oct"030",8u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(2.5u#,0); left_bracket(.5[rule_thickness,stem],true,false); endchar;
cmchar "\Bigg left ceiling bracket";
beginchar(oct"046",8.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(3u#,0); left_bracket(.75[rule_thickness,stem],true,false); endchar;
cmchar "\big right ceiling bracket";
beginchar(oct"007",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(0,1.5u#); right_bracket(rule_thickness,true,false); endchar;
cmchar "\Big right ceiling bracket";
beginchar(oct"155",7.5u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(0,2u#); right_bracket(.25[rule_thickness,stem],true,false); endchar;
cmchar "\bigg right ceiling bracket";
beginchar(oct"031",8u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(0,2.5u#); right_bracket(.5[rule_thickness,stem],true,false); endchar;
cmchar "\Bigg right ceiling bracket";
beginchar(oct"047",8.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(0,3u#); right_bracket(.75[rule_thickness,stem],true,false); endchar;
cmchar "\big left curly brace";
beginchar(oct"010",9u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(.75u#,.75u#); left_curly(hair,stem); endchar;
cmchar "\Big left curly brace";
beginchar(oct"156",10u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(u#,u#); left_curly(rule_thickness,.5[stem,bold]); endchar;
cmchar "\bigg left curly brace";
beginchar(oct"032",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(1.25u#,1.25u#); left_curly(rule_thickness+.2dw,bold); endchar;
cmchar "\Bigg left curly brace";
beginchar(oct"050",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(1.5u#,1.5u#); left_curly(rule_thickness+.4dw,bold+dw); endchar;
cmchar "Extensible left curly brace---top";
beginchar(oct"070",12u#,0,1.5dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos1(min_breadth,0); pos1'(min_breadth,0);
pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
rt x1r=rt x1'r=round(w-1.5u+.5min_breadth);
lft x2l=lft x3l=round(.5w-.5heavy_rule_thickness);
top y1=h-1; y3=-d-eps; y2=.5[y1,y3]; y1-y1'=min_breadth-fine;
filldraw z1l{3(x2l-x1l),y2-y1}...z2l---z3l
--z3r---z2r...{3(x1r-x2r),y1'-y2}z1'r--z1r--cycle; % stroke
penlabels(1,2,3); endchar;
cmchar "Extensible left curly brace---bottom";
beginchar(oct"072",12u#,0,1.5dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos7(min_breadth,0); pos7'(min_breadth,0);
pos5(heavy_rule_thickness,0); pos6(heavy_rule_thickness,0);
rt x7r=rt x7'r=round(w-1.5u+.5min_breadth);
lft x5l=lft x6l=round(.5w-.5heavy_rule_thickness);
y5=h+eps; bot y7=1-d; y6=.5[y5,y7]; y7'-y7=min_breadth-fine;
filldraw z5l---z6l...{3(x7l-x6l),y7-y6}z7l
--z7r--z7'r{3(x6r-x7r),y6-y7'}...z6r---z5r--cycle; % stroke
penlabels(5,6,7); endchar;
cmchar "Extensible left curly brace---middle";
beginchar(oct"074",12u#,0,3dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos4(min_breadth,0); pos4'(min_breadth,0);
forsuffixes $=2,3,5,6: pos$(heavy_rule_thickness,0); endfor
lft x4l=lft x4'l=round(1.5u-.5min_breadth);
x2=x3=x5=x6; lft x2l=round(.5w-.5heavy_rule_thickness);
y2=h+eps; y6=-d-eps; .5[y4,y4']=.5[y2,y6]=.5[y3,y5];
y3-y4=(y2-y6)/4; y4-y4'=min_breadth-fine;
filldraw z2l---z3l...{3(x4l-x3l),y4-y3}z4l
--z4'l{3(x5l-x4l),y5-y4'}...z5l---z6l--z6r---z5r
...{3(x4r-x5r),.5[y4,y4']-y5}.5[z4r,z4'r]{3(x3r-x4r),y3-.5[y4,y4']}
...z3r---z2r--cycle; % stroke
penlabels(2,3,4,5,6); endchar;
cmchar "Extensible curly brace---extension module";
beginchar(oct"076",12u#,0,.5dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
lft x2l=lft x3l=round(.5w-.5heavy_rule_thickness); y2=h+eps; y3=-d-eps;
filldraw stroke z2e--z3e; % stem
penlabels(2,3); endchar;
cmchar "\big right curly brace";
beginchar(oct"011",9u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(.75u#,.75u#); right_curly(hair,stem); endchar;
cmchar "\Big right curly brace";
beginchar(oct"157",10u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(u#,u#); right_curly(rule_thickness,.5[stem,bold]); endchar;
cmchar "\bigg right curly brace";
beginchar(oct"033",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(1.25u#,1.25u#); right_curly(rule_thickness+.2dw,bold); endchar;
cmchar "\Bigg right curly brace";
beginchar(oct"051",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(1.5u#,1.5u#); right_curly(rule_thickness+.4dw,bold+dw); endchar;
cmchar "Extensible right curly brace---top";
beginchar(oct"071",12u#,0,1.5dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos1(min_breadth,0); pos1'(min_breadth,0);
pos2(heavy_rule_thickness,0); pos3(heavy_rule_thickness,0);
lft x1l=lft x1'l=round(1.5u-.5min_breadth);
lft x2l=lft x3l=round(.5w-.5heavy_rule_thickness);
top y1=h-1; y3=-d-eps; y2=.5[y1,y3]; y1-y1'=min_breadth-fine;
filldraw z1r{3(x2r-x1r),y2-y1}...z2r---z3r
--z3l---z2l...{3(x1l-x2l),y1'-y2}z1'l--z1l--cycle; % stroke
penlabels(1,2,3); endchar;
cmchar "Extensible right curly brace---bottom";
beginchar(oct"073",12u#,0,1.5dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos7(min_breadth,0); pos7'(min_breadth,0);
pos5(heavy_rule_thickness,0); pos6(heavy_rule_thickness,0);
lft x7l=lft x7'l=round(1.5u-.5min_breadth);
lft x5l=lft x6l=round(.5w-.5heavy_rule_thickness);
y5=h+eps; bot y7=1-d; y6=.5[y5,y7]; y7'-y7=min_breadth-fine;
filldraw z5r---z6r...{3(x7r-x6r),y7-y6}z7r
--z7l--z7'l{3(x6l-x7l),y6-y7'}...z6l---z5l--cycle; % stroke
penlabels(5,6,7); endchar;
cmchar "Extensible right curly brace---middle";
beginchar(oct"075",12u#,0,3dh#);
adjust_fit(2u#,2u#); pickup fine.nib;
numeric min_breadth; min_breadth=round(rule_thickness+.6dw);
pos4(min_breadth,0); pos4'(min_breadth,0);
forsuffixes $=2,3,5,6: pos$(heavy_rule_thickness,0); endfor
rt x4r=rt x4'r=round(w-1.5u+.5min_breadth);
x2=x3=x5=x6; lft x2l=round(.5w-.5heavy_rule_thickness);
y2=h+eps; y6=-d-eps; .5[y4,y4']=.5[y2,y6]=.5[y3,y5];
y3-y4=(y2-y6)/4; y4-y4'=min_breadth-fine;
filldraw z2r---z3r...{3(x4r-x3r),y4-y3}z4r
--z4'r{3(x5r-x4r),y5-y4'}...z5r---z6r--z6l---z5l
...{3(x4l-x5l),.5[y4,y4']-y5}.5[z4l,z4'l]{3(x3l-x4l),y3-.5[y4,y4']}
...z3l---z2l--cycle; % stroke
penlabels(2,3,4,5,6); endchar;
cmchar "Horizontal curly brace tip---down and left";
beginchar(oct"172",.75dh#,3rule_thickness#,0);
adjust_fit(0,0); pickup fine.nib;
numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
pos1(min_breadth,90); pos1'(min_breadth,90);
pos2(heavy_rule_thickness,90);
bot y2l=0; bot y1l=bot y1'l=vround(y2-4.5u-.5min_breadth);
.5[x1,x1']=-eps; x2=w+shrink_fit+eps; x1'-x1=min_breadth-fine;
filldraw z1r{x2-x1,3(y2r-y1r)}...{right}z2r
--z2l{left}...{x1'-x2,3(y1-y2)}z1'l--z1l--cycle; % stroke
penlabels(1,2); endchar;
cmchar "Horizontal curly brace tip---down and right";
beginchar(oct"173",.75dh#,3rule_thickness#,0);
adjust_fit(0,0); pickup fine.nib;
numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
pos1(min_breadth,90); pos1'(min_breadth,90);
pos2(heavy_rule_thickness,90);
bot y2l=0; bot y1l=bot y1'l=vround(y2-4.5u-.5min_breadth);
.5[x1,x1']=w+shrink_fit+eps; x2=-eps; x1-x1'=min_breadth-fine;
filldraw z1r{x2-x1,3(y2r-y1r)}...{left}z2r
--z2l{right}...{x1'-x2,3(y1-y2)}z1'l--z1l--cycle; % stroke
penlabels(1,2); endchar;
cmchar "Horizontal curly brace tip---up and left";
beginchar(oct"174",.75dh#,3rule_thickness#,0);
adjust_fit(0,0); pickup fine.nib;
numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
pos1(min_breadth,90); pos1'(min_breadth,90);
pos2(heavy_rule_thickness,90);
bot y2l=0; top y1r=top y1'r=vround(y2+4.5u+.5min_breadth);
.5[x1,x1']=-eps; x2=w+shrink_fit+eps; x1'-x1=min_breadth-fine;
filldraw z1l{x2-x1,3(y2l-y1l)}...{right}z2l
--z2r{left}...{x1'-x2,3(y1-y2)}z1'r--z1r--cycle; % stroke
penlabels(1,2); endchar;
cmchar "Horizontal curly brace tip---up and right";
beginchar(oct"175",.75dh#,3rule_thickness#,0);
adjust_fit(0,0); pickup fine.nib;
numeric min_breadth; min_breadth=vround(rule_thickness+.6dw);
pos1(min_breadth,90); pos1'(min_breadth,90);
pos2(heavy_rule_thickness,90);
bot y2l=0; top y1r=top y1'r=vround(y2+4.5u+.5min_breadth);
.5[x1,x1']=w+shrink_fit+eps; x2=-eps; x1-x1'=min_breadth-fine;
filldraw z1l{x2-x1,3(y2l-y1l)}...{left}z2l
--z2r{right}...{x1'-x2,3(y1-y2)}z1'r--z1r--cycle; % stroke
penlabels(1,2); endchar;
cmchar "\big left angle bracket";
beginchar(oct"012",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(.75u#,.75u#); left_angle(rule_thickness); endchar;
cmchar "\Big left angle bracket";
beginchar(oct"104",9u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(u#,u#); left_angle(.25[rule_thickness,stem]); endchar;
cmchar "\bigg left angle bracket";
beginchar(oct"034",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(1.25u#,1.25u#); left_angle(.5[rule_thickness,stem]); endchar;
cmchar "\Bigg left angle bracket";
beginchar(oct"052",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(1.5u#,1.5u#); left_angle(.75[rule_thickness,stem]); endchar;
cmchar "\big right angle bracket";
beginchar(oct"013",7u#,rule_thickness#,2dh#-rule_thickness#);
adjust_fit(.75u#,.75u#); right_angle(rule_thickness); endchar;
cmchar "\Big right angle bracket";
beginchar(oct"105",9u#,rule_thickness#,3dh#-rule_thickness#);
adjust_fit(u#,u#); right_angle(.25[rule_thickness,stem]); endchar;
cmchar "\bigg right angle bracket";
beginchar(oct"035",11u#,rule_thickness#,4dh#-rule_thickness#);
adjust_fit(1.25u#,1.25u#); right_angle(.5[rule_thickness,stem]); endchar;
cmchar "\Bigg right angle bracket";
beginchar(oct"053",11.5u#,rule_thickness#,5dh#-rule_thickness#);
adjust_fit(1.5u#,1.5u#); right_angle(.75[rule_thickness,stem]); endchar;
cmchar "\big slash";
beginchar(oct"016",10.4u#,rule_thickness#,2dh#-rule_thickness#);
big_slash(rule_thickness+.2dw); endchar;
cmchar "\Big slash";
beginchar(oct"056",14.6u#,rule_thickness#,3dh#-rule_thickness#);
big_slash(rule_thickness+.6dw); endchar;
cmchar "\bigg slash";
beginchar(oct"036",18.8u#,rule_thickness#,4dh#-rule_thickness#);
big_slash(rule_thickness+dw); endchar;
cmchar "\Bigg slash";
beginchar(oct"054",23u#,rule_thickness#,5dh#-rule_thickness#);
big_slash(rule_thickness+1.5dw); endchar;
cmchar "\big backslash";
beginchar(oct"017",10.4u#,rule_thickness#,2dh#-rule_thickness#);
big_blash(rule_thickness+.2dw); endchar;
cmchar "\Big backslash";
beginchar(oct"057",14.6u#,rule_thickness#,3dh#-rule_thickness#);
big_blash(rule_thickness+.6dw); endchar;
cmchar "\bigg backslash";
beginchar(oct"037",18.8u#,rule_thickness#,4dh#-rule_thickness#);
big_blash(rule_thickness+dw); endchar;
cmchar "\Bigg backslash";
beginchar(oct"055",23u#,rule_thickness#,5dh#-rule_thickness#);
big_blash(rule_thickness+1.5dw); endchar;
cmchar "Extensible vertical line---extension module";
beginchar(oct"014",6u#,0,dh#);
adjust_fit(0,0); pickup pencircle scaled(rule_thickness+.2dw);
x1=x2=good.x .5w; y1=eps; y2=-d-eps;
draw z1--z2; % stem
labels(1,2); endchar;
cmchar "Extensible double vertical line---extension module";
beginchar(oct"015",10u#,0,dh#);
adjust_fit(0,0); pickup pencircle scaled(rule_thickness+.2dw);
x1=x2=good.x .3w; x3=x4=w-x1; y1=y3=eps; y2=y4=-d-eps;
draw z1--z2; draw z3--z4; % stems
labels(1,2,3,4); endchar;
cmchar "Extensible vertical arrow--top";
beginchar(oct"170",12u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness,barr;
thickness=round(rule_thickness+.2dw); barr=vround(.6[bar,thickness]);
pos1(thickness,0); pos2(thickness,0);
pos3(barr,90); pos4(barr,90);
lft x1l=round(.5w-.5thickness); y1=-d-eps;
x0=x1=x2; top y0=h; x0-x3=x4-x0=4u+eps; y3=y4=y0-.29asc_height-eps;
pos5(barr,angle(z4-z0)); z5l=z0;
pos6(barr,angle(z3-z0)); z6l=z0;
z9=.381966[.5[z3,z4],z0];
numeric t; path p; p=z4l{z9-z4}..z6r;
t=xpart(p intersectiontimes((x2r,-d)..(x2r,h))); y2=ypart point t of p;
filldraw z0..{z4-z9}z4r--subpath (0,t) of (z4l{z9-z4}..z6r)
--z2r---z1r--z1l---z2l--subpath (t,0) of (z3l{z9-z3}..z5r)
--z3r{z9-z3}..z0 & cycle; % arrowhead and stem
penlabels(0,1,2,3,4,5,6,9); endchar;
cmchar "Extensible vertical arrow--bottom";
beginchar(oct"171",12u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness,barr;
thickness=round(rule_thickness+.2dw); barr=vround(.6[bar,thickness]);
pos1(thickness,0); pos2(thickness,0);
pos3(barr,90); pos4(barr,90);
lft x1l=round(.5w-.5thickness); y1=h+eps;
x0=x1=x2; bot y0=-d; x0-x3=x4-x0=4u+eps; y3=y4=y0+.29asc_height+eps;
pos5(barr,angle(z4-z0)); z5l=z0;
pos6(barr,angle(z3-z0)); z6l=z0;
z9=.381966[.5[z3,z4],z0];
numeric t; path p; p=z4r{z9-z4}..z6r;
t=xpart(p intersectiontimes((x2r,-d)..(x2r,h))); y2=ypart point t of p;
filldraw z0..{z4-z9}z4l--subpath (0,t) of (z4r{z9-z4}..z6r)
--z2r---z1r--z1l---z2l--subpath (t,0) of (z3r{z9-z3}..z5r)
--z3l{z9-z3}..z0 & cycle; % arrowhead and stem
penlabels(0,1,2,3,4,5,6,9); endchar;
"Extensible vertical arrow--extension module";
beginchar(oct"077",12u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness; thickness=round(rule_thickness+.2dw);
pos1(thickness,0); pos2(thickness,0);
lft x1l=round(.5w-.5thickness); x2=x1; y1=h+1+eps; y2=-d-1-eps;
filldraw stroke z1e--z2e; % stem
penlabels(1,2); endchar;
cmchar "Extensible double vertical arrow--top";
beginchar(oct"176",14u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness; thickness=vround(rule_thickness+.2dw);
pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
y1=y2=-d-eps; y7=y8=h; top y0=h+eps;
x1=x7; x2=x8; rt x1r=round(.5w+2u+.5thickness); .5[x1,x2]=x0=good.x .5w;
filldraw stroke z1e--z7e; filldraw stroke z2e--z8e; % bars
pos3(thickness,90); pos4(thickness,90);
x2-x3=x4-x1=4u+eps; y3=y4=y0-.48asc_height-eps;
pos5(thickness,angle(z4-z0)); z5l=z0;
pos6(thickness,angle(z3-z0)); z6l=z0; z9=.381966[.5[z3,z4],z0];
erase filldraw z0..{z3-z9}z3--(x3,h)
--(x4,h)--z4{z9-z4}..z0 & cycle; % erase excess
numeric t; path p; p=z4l{z9-z4}..z6r;
t=xpart(p intersectiontimes((x0,-d)..(x0,h)));
filldraw z0..{z4-z9}z4r--subpath (0,t) of (z4l{z9-z4}..z6r)
--subpath (t,0) of (z3l{z9-z3}..z5r)--z3r{z9-z3}..z0 & cycle; % arrowhead
penlabels(0,1,2,3,4,5,6,7,8,9); endchar;
cmchar "Extensible double vertical arrow--bottom";
beginchar(oct"177",14u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness; thickness=vround(rule_thickness+.2dw);
pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
y1=y2=h+eps; y7=y8=-d; bot y0=-d-eps;
x1=x7; x2=x8; rt x1r=round(.5w+2u+.5thickness); .5[x1,x2]=x0=good.x .5w;
filldraw stroke z1e--z7e; filldraw stroke z2e--z8e; % bars
pos3(thickness,90); pos4(thickness,90);
x2-x3=x4-x1=4u+eps; y3=y4=y0+.48asc_height-eps;
pos5(thickness,angle(z4-z0)); z5l=z0;
pos6(thickness,angle(z3-z0)); z6l=z0; z9=.381966[.5[z3,z4],z0];
erase filldraw z0..{z3-z9}z3--(x3,-d)
--(x4,-d)--z4{z9-z4}..z0 & cycle; % erase excess
numeric t; path p; p=z4r{z9-z4}..z6r;
t=xpart(p intersectiontimes((x0,-d)..(x0,h)));
filldraw z0..{z4-z9}z4l--subpath (0,t) of (z4r{z9-z4}..z6r)
--subpath (t,0) of (z3r{z9-z3}..z5r)--z3l{z9-z3}..z0 & cycle; % arrowhead
penlabels(0,1,2,3,4,5,6,7,8,9); endchar;
"Extensible double vertical arrow--extension module";
beginchar(oct"167",14u#,0,dh#); less_rounded;
adjust_fit(0,0); pickup crisp.nib;
numeric thickness; thickness=vround(rule_thickness+.2dw);
pos1(thickness,0); pos2(thickness,0); pos7(thickness,0); pos8(thickness,0);
y1=y2=h+1+eps; y7=y8=-d-1-eps;
x1=x7; x2=x8; lft x1l=round(.5w-2u-.5thickness); .5[x1,x2]=good.x .5w;
filldraw stroke z1e--z7e; filldraw stroke z2e--z8e; % bars
penlabels(1,2,7,8); endchar;
cmchar "\big radical sign";
beginchar(oct"160",18u#,rule_thickness#,2dh#-rule_thickness#);
big_sqrt; endchar;
cmchar "\Big radical sign";
beginchar(oct"161",18u#,rule_thickness#,3dh#-rule_thickness#);
big_sqrt; endchar;
cmchar "\bigg radical sign";
beginchar(oct"162",18u#,rule_thickness#,4dh#-rule_thickness#);
big_sqrt; endchar;
cmchar "\Bigg radical sign";
beginchar(oct"163",18u#,rule_thickness#,5dh#-rule_thickness#);
big_sqrt; endchar;
cmchar "Extensible radical sign---bottom";
beginchar(oct"164",19u#,0,3dh#); less_rounded;
adjust_fit(0,-letter_fit#); pickup rule.nib;
x1=x2=good.x(w-6u); bot y1=1-d; y2=h+eps;
draw z1--z2; % diagonal
pickup crisp.nib; pos3(max(curve,rule_thickness),0);
x3l=good.x 3u; y3=.9[y1,y2];
pos4(rule_thickness,0); x4=x1; bot y4=-d;
pos5(vair,-45); x5l=good.x(x3l-u); z5l=whatever[z3r,(x2,body_height)];
z6=z5r+whatever*((x2,body_height)-z3r)=whatever[z3l,z4l];
z7=whatever[z1,z2]=z3r+whatever*(z4l-z3l);
filldraw z5r--z6--z4l--z4--z7--z3r--z5l--cycle; % left diagonal and serif
penlabels(1,2,3,4,5,6,7); endchar;
cmchar "Extensible radical sign---extension module";
beginchar(oct"165",19u#,0,dh#);
adjust_fit(0,-letter_fit#); pickup rule.nib;
x1=x2=good.x(w-6u); y1=-d-eps; y2=h+eps;
draw z1--z2; % stem
labels(1,2); endchar;
cmchar "Extensible radical sign---top";
beginchar(oct"166",19u#,rule_thickness#,dh#-rule_thickness#);
adjust_fit(0,-letter_fit#); pickup rule.nib;
x1=x2=good.x(w-6u); x3=good.x(w+.5); y1=-d-eps; bot y2=bot y3=0;
draw z1--z2--z3; % stem and link
labels(1,2,3); endchar;